اختيار الموقع            تسجيل دخول
 

الأبحاث العلمية
الابحاث حسب سنة النشر
  نتيجة البحث عن  : Bentahar, Jamala
   تم العثور علي  1  مقالة
 

SMC4AC: A new symbolic model checker for intelligent agent communication /
 El Kholy, Wardaa - جامعة المنوفية - كلية الحاسبات والمعلومات
Bentahar, Jamala - جامعة المنوفية - كلية الحاسبات والمعلومات
El Menshawy, Mohamed - جامعة المنوفية - كلية الحاسبات والمعلومات
Qu, Hongyangc - USA
Dssouli, Rachidad - Canada

الكلمات الدالة  Symbolic model checker, conditional commitment, conditional commitment actions, expressiveness, commitment action modalities, verificatio.
الصفحات  223 - 271 P.
تم النشر في  :  Fundamenta Informaticae
تم النشر بتاريخ  : 06/04/2017
الملحقات  : 1 - Copy.docxتحميل



 


Powered by Future Library Software.All rights reserved © CITC - Mansoura University. Sponsored by Mansoura University Privacy Policy